home *** CD-ROM | disk | FTP | other *** search
- Path: line297.nwm.mindlink.net!user
- From: emery@grebyn.com (David Emery)
- Newsgroups: comp.lang.ada,comp.lang.c,comp.lang.c++,comp.edu
- Subject: Re: POSIX/Unix conformance (was: ANSI C and POSIX ...)
- Date: Mon, 08 Apr 1996 19:40:16 +0100
- Organization: MIND LINK! - British Columbia, Canada
- Message-ID: <emery-0804961940190001@line297.nwm.mindlink.net>
- References: <JSA.96Feb16135027@organon.com> <dewar.828912460@schonberg> <4kb1l1$ajm@solutions.solon.com> <dewar.828987795@schonberg> <4kcf2q$mll@solutions.solon.com>
- NNTP-Posting-Host: line297.nwm.mindlink.net
-
- There are actually two separate issues that no one has adequately
- addressed:
-
- 1. POSIX conformance
- 2. Unix(tm) conformance
-
- Let me try to summarize POSIX conformance. First, there are a series of
- POSIX standards, IEEE 1003.1 and 1003.2 are the primary standards of interest
- here. These are also ISO standards ISO 9945-1 and 9945-2 (respectively).
- And, they are U.S. FIPS standards (FIPS 151-2).
-
- POSIX conformance is defined by two documents, the relevant standard and
- the set of test assertions. The test assertions specify a series of
- tests that a conforming implementation pass. The assertions themselves are
- NOT executable.
-
- Instead, a POSIX tester translates these assertions into a test suite.
-
- U.S. NIST has developed a set of validation procedures based on commercial
- testing. A POSIX validation tester submits his test suite to NIST, and NIST
- 'validates' this suite against the test assertions. The test suite itself
- remains the property of the testing organization. The goal of the NIST
- 'validation' is to certify the testing organization as acceptable to issue
- NIST FIPS conformance certificates for the implementation. NIST maintains a
- list of conforming POSIX/FIPS 151-2 implementations.
-
- This differs from Ada testing in a critical way: For Ada validation, the
- test suite iteself is freely available. It is (relatively) easy to verify
- that an Ada validation (ACVC) test matches the standard, and there is a
- single test suite for all validations. For POSIX testing, each tester has
- his own test suite, and we have to trust NIST and the testing vendor that
- the vendor's test actually tests POSIX compliance.
-
-
- As regards to conformance with the Unix(tm) trademark, this is based on
- a set of procedures established by (the late) X/Open. I'm not familiar
- with X/Open's requirements to use the "Unix" trademark.
-
- Note that it's quite possible to validate non-Unix operating systems as
- POSIX-compliant. In fact one of the earliest validations was for
- Unisys CTOS, which is NOT a flavor of Unix. I believe that there is a version
- of Windows NT which is POSIX-compliant, and I recall hearing something about
- a POSIX version of Windows 95. And then there's "Open VMS" (an oxymoron, IMHO),
- which is a POSIX-compliant version of VMS. In these cases, what we have is
- a POSIX interface on top of a Non-Unix operating system.
-
- dave
-